$\forall$$T$:Type, ${\it as}$,${\it bs}$,${\it cs}$:($T$ List).
\\[0ex]append((append(${\it as}$; ${\it bs}$)); ${\it cs}$) = append(${\it as}$; (append(${\it bs}$; ${\it cs}$))) $\in$ ($T$ List)